Lambda Calculus Playgroun

Explore the untyped lambda calculus, one of most fundamental systems in computing. Starting with a r